Constructing Control Flow From Control Dependence
نویسندگان
چکیده
Control dependences characterize how the predicates in a program govern the execution of other statements and predicates. Control dependences are defined in terms of a program’s control-flow graph; given a control-flow graph G, a corresponding control dependence graph, CDG(G), can be constructed. This paper addresses the inverse problem: we define an algorithm that, given a control dependence graph C, finds a corresponding control-flow graph G (i.e., a graph G such that CDG(G) is isomorphic to C), or determines that no such control-flow graph exists. We call this process CDG-reconstitution.
منابع مشابه
Static inter-BPEL program slicing for web services
Analysis and maintenance of BPEL programs play a vital role in assuring the quality of Web service software. In the paper, the concept of inter-service control flow graph (ISCFG) is proposed to represent the interaction behaviours between service units. Meanwhile, the traditional data flow analysis is extended to handle combinatorial structure of variables in BPEL program. Then, a method for co...
متن کاملStudy of Duckbill Weir with Triangular and Curved Plan Form
Constructing of control structures, like dams, change temporal and spatial unequal distribution of water ,and also play an effective role in reduce or eliminate of damage that caused by floods. So reservoir dam’s effect on floods discharges reduction must be determined. In this study the rain Information and flood hydrographs were used to check the flood routing for previous period of Maroon da...
متن کاملFault Localization for Java Programs using Probabilistic Program Dependence Graph
Fault localization is a process to find the location of faults. It determines the root cause of the failure. It identifies the causes of abnormal behaviour of a faulty program. It identifies exactly where the bugs are. Existing fault localization techniques are Slice based technique, ProgramSpectrum based Technique, Statistics Based Technique, Program State Based Technique, Machine learning bas...
متن کاملRemoving and restoring control flow with the Value State Dependence Graph
This thesis studies the practicality of compiling with only data ow information. Speci cally, we focus on the challenges that arise when using the Value State Dependence Graph (VSDG) as an intermediate representation (IR). We perform a detailed survey of IRs in the literature in order to discover trends over time, and we classify them by their features in a taxonomy. We see how the VSDG ts into...
متن کاملAnalysis of Object-Oriented Programs with Exception-Handling Constructs
In the dependence analysis of object-oriented programs, if the influence of exception propagation on the dependency is not considered, the information will be inaccurate. At present, the existing methods with exception propagation mostly aimed at intra-class analysis, which cannot meet the needs of actual software development. This paper proposes an approach to analyzing inter-class control dep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992